21. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989
22. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989
23. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
24. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;
25. Formal methods for concurrency
پدیدآورنده : Fencott, Clive
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
رده :
QA
76
.
54
.
F46
1996
26. GNU Octave
پدیدآورنده : Jesper Schmidt Hansen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Numerical analysis-- Data processing,Programming languages (Electronic computers)
رده :
QA76
.
73
.
G58
S36
2011
27. Handbook of circuit analysis languages and techniques
پدیدآورنده : editors, Randall W. Jensen, Lawrence P. McNamee
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic circuit design -- Data processing,، Programming languages )Electronic computers(
رده :
TK
7867
.
J39
28. Handbook of circuit analysis languages and techniques
پدیدآورنده : editors, Randall W. Jensen, Lawrence P. McNamee
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع : Electronic circuit design- Data processing,Programming languages (Electronic computers)
رده :
TK
,
7867
,.
H35
,
1976
29. Informationsverarbeitung :
پدیدآورنده : Juergen Rasch, Angele Daalmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing.,Programming languages (Electronic computers)
30. Introducing regular expressions
پدیدآورنده : \ Michael Fitzgerald
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Text processing (Computer science),Programming languages (Electronic computers),Electronic data processeing,data processing,متنپردازی,زبانهای برنامهنویسی کامپیوتر,داده پردازی ,a03,a04,a05,a05,a03,a04,a05
رده :
QA
76
.
9
.
F5I5
2012
E-Book
,
31. Introducing regular expressions /
پدیدآورنده : Michael Fitzgerald.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing.,Programming languages (Electronic computers),Text processing (Computer science)
رده :
QA76
.
9
.
T48
F58
2012
32. Introduction to computer data processing
پدیدآورنده : / Margaret S. Wu
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing,Electronic digital computers,Programming languages (Electronic computers)
رده :
QA76
.
W83
33. Introduction to computer data processing
پدیدآورنده : Wu, Margaret Schlosser.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic data processing,، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
W9
34. Introduction to computers
پدیدآورنده : Davis, Gordon Bitter.
موضوع : ، Electronic digital computers,، Electronic data processing,، Programming languages )Electronic computers(
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
35. Introduction to computers
پدیدآورنده : Davis, Gordon Bitter.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers,، Electronic data processing,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
D29
1977
36. Introduction to computers
پدیدآورنده : / Gordon B. Davis
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Electronic digital computers,Electronic data processing,Programming languages (Electronic computers)
رده :
QA76
.
5
D29
1981
37. Introduction to computers
پدیدآورنده : DAVIS,GORDON B
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS , ELECTRONIC DATA PROCESSING , PROGRAMMING LANGUAGES
رده :
QA
76
.
5
.
D29
1977
38. Introduction to computers
پدیدآورنده : Davis, Gordon Bitter
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Electronic digital computers,، Electronic data processing,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
D29
39. Introduction to computers and information processing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computers,Electronic data processing,Programming languages )Electronic computers(
40. Introduction to data processing
پدیدآورنده : Carver, D.K
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Electronic data processing,، Electonic digital computers programming,، Programming languages ) Electornic computers(
رده :
QA
76
.
C362